A Comparison between Two Off-the-Shelf Algebraic Tools for Extraction of Cryptographic Keys from Corrupted Memory Images

Part 1: Modern CryptographyInternational audienceCold boot attack is a class of side channel attacks which exploits the data remanence property of random access memory (RAM) to retrieve its contents which remain readable shortly after its power has been removed. Specialized algorithms have been previously proposed to recover cryptographic keys of several ciphers from decayed memory images. However, these techniques were cipher-dependent and certainly uneasy to develop and fine tune. On the other hand, for symmetric ciphers, the relations that have to be satisfied between the subround key bits in the key schedule always correspond to a set of nonlinear Boolean equations. In this paper, we investigate the use of an off-the-shelf SAT solver (CryptoMiniSat), and an open source Gröbner basis tool (PolyBoRi) to solve the resulting system of equations. We also provide the pros and cons of both approaches and present some simulation results for the extraction of AES and Serpent keys from decayed memory images using these tools

Microwave barrel reactor use in trimethylolpropane oleate synthesis by Candida antarctica lipase in a biphasic non-solvent process

A novel microwave barrel reactor (MBR) was constructed and used in lipase catalyzed biolubricant synthesis. The MBR is thought as a versatile process tool for biotransformation and green chemistry that overcomes current size limitations in microwave reactors. A lipase mediated biotransformation in the MBR was compared to a state of the art jacketed reactor with external heat exchanger. Oleic acid and trimethylolpropane converted quantitatively (96%) into biolubricants using microwave induction. The heat dissipation in the MBR was analyzed by thermal imaging and inside thermometry. Conversion rates, rate constants and pseudo reaction orders were in line with conventional processing and no microwave effect was detected. The MBR is a versatile new reactor for non solvent, minimal and common solvent processing in the microwave field. While the subject of investigations was biolubricant synthesis in the MBR, the technology described is of wider potential interest in the field of biomass processing and sustainable chemical manufacture